例文
- Some of these have applications, e . g ., in the theory of programming semantics in theoretical computer science.
- Christopher Strachey, Christopher P . Wadsworth and John C . Reynolds brought the term " continuation " into prominence in their work in the field of denotational semantics that makes extensive use of continuations to allow sequential programs to be analysed in terms of functional programming semantics.